integral of sin(2x)